Ur, Shmuel: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

A new characterization of graphs based on interception relations

Paz, Azaria, Pearl, Judea, Ur, Shmuel

Journal:

Journal of Graph Theory

Year:

1996

Language:

english

File:

PDF, 713 KB

english, 1996

2

Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD)

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 69 KB

english, 2007

3

Framework for testing multi-threaded Java programs

Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2003

Language:

english

File:

PDF, 162 KB

english, 2003

4

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Noise Makers Need to Know Where to be Silent Producing Schedules That Find Bugs

Ben-Asher, Yosi, Eytani, Yaniv, Farchi, Eitan, Ur, Shmuel

Year:

2006

Language:

english

File:

PDF, 363 KB

english, 2006

5

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Combinatorial test design in practice

Cohen, Myra B., Ur, Shmuel

Year:

2010

Language:

english

File:

PDF, 281 KB

english, 2010

6

Choosing among alternative pasts

Marina Biberstein, Eitan Farchi, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 242 KB

english, 2007

7

Towards a framework and a benchmark for testing tools for multi-threaded programs

Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

8

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Shady Copty, Shmuel Ur

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

9

Evaluating workloads using comparative functional coverage

Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 1.61 MB

english, 2011

10

A probabilistic alternative to regression suites

Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 812 KB

english, 2008

11

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards

Yoo, Shin, Harman, Mark, Ur, Shmuel

Journal:

Empirical Software Engineering

Year:

2013

Language:

english

File:

PDF, 891 KB

english, 2013

12

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Hole analysis for functional coverage data

Lachish, Oded, Marcus, Eitan, Ur, Shmuel, Ziv, Avi

Year:

2002

Language:

english

File:

PDF, 100 KB

english, 2002

13

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - User defined coverage---a tool supported methodology for design verification

Grinwald, Raanan, Harel, Eran, Orgad, Michael, Ur, Shmuel, Ziv, Avi

Year:

1998

Language:

english

File:

PDF, 161 KB

english, 1998

14

[Lecture Notes in Computer Science] Hardware and Software, Verification and Testing Volume 3875 || Dynamic Deadlock Analysis of Multi-threaded Programs

Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron

Year:

2006

Language:

english

File:

PDF, 521 KB

english, 2006

15

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections

Yom-Tov, Elad, Tzoref, Rachel, Ur, Shmuel, Hoory, Shlomo

Year:

2008

Language:

english

File:

PDF, 287 KB

english, 2008

16

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Selective Homeworkless Reviews

Farchi, Eitan, Ur, Shmuel

Year:

2008

Language:

english

File:

PDF, 400 KB

english, 2008

17

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Measuring and Improving Latency to Avoid Test Suite Wear Out

Yoo, Shin, Harman, Mark, Ur, Shmuel

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

18

[Lecture Notes in Computer Science] Hardware and Software, Verification and Testing Volume 3875 ||

Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron

Year:

2006

Language:

english

File:

PDF, 4.31 MB

english, 2006

19

[Lecture Notes in Computer Science] Hardware and Software, Verification and Testing Volume 3875 || Effective Black-Box Testing with Genetic Algorithms

Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

20

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Experience with a Concurrency Bugs Benchmark

Eytani, Yaniv, Tzoref, Rachel, Ur, Shmuel

Year:

2008

Language:

english

File:

PDF, 186 KB

english, 2008

21

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Automated substring hole analysis

Adler, Yoram, Farchi, Eitan, Klausner, Moshe, Pelleg, Dan, Raz, Orna, Shochat, Moran, Ur, Shmuel, Zlotnick, Aviad

Year:

2009

Language:

english

File:

PDF, 477 KB

english, 2009

22

THE REPRESENTATION POWER OF PROBABILISTIC KNOWLEDGE BY UNDIRECTED GRAPHS AND DIRECTED ACYCLIC GRAPHS: A COMPARISON

UR, SHMUEL, PAZ, AZARIA

Journal:

International Journal of General Systems

Year:

1993

Language:

english

File:

PDF, 422 KB

english, 1993

23

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Code coverage analysis in practice for large systems

Adler, Yoram, Behar, Noam, Raz, Orna, Shehory, Onn, Steindler, Nadav, Ur, Shmuel, Zlotnick, Aviad

Year:

2011

Language:

english

File:

PDF, 854 KB

english, 2011

24

[Lecture Notes in Computer Science] Hardware and Software, Verification and Testing Volume 4383 || Making Model-Based Testing More Agile: A Use Case Driven Approach

Bin, Eyal, Ziv, Avi, Ur, Shmuel

Year:

2007

Language:

english

File:

PDF, 292 KB

english, 2007

25

[Lecture Notes in Computer Science] Hardware and Software, Verification and Testing Volume 3875 || Simultaneous SAT-Based Model Checking of Safety Properties

Ur, Shmuel, Bin, Eyal, Wolfsthal, Yaron

Year:

2006

Language:

english

File:

PDF, 343 KB

english, 2006

26

[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - Applications of synchronization coverage

Bron, Arkady, Farchi, Eitan, Magid, Yonit, Nir, Yarden, Ur, Shmuel

Year:

2005

Language:

english

File:

PDF, 121 KB

english, 2005

27

[ACM Press the 2007 ACM workshop - London, United Kingdom (2007.07.09-2007.07.09)] Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging - PADTAD '07 - Healing data races on-the-fly

Krena, Bohuslav, Letko, Zdenek, Tzoref, Rachel, Ur, Shmuel, Vojnar, Tomáš

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

28

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - 6th workshop on parallel and distributed systems

Ur, Shmuel, Stoller, Scott D., Farchi, Eitan D.

Year:

2008

Language:

english

File:

PDF, 84 KB

english, 2008

29

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Producing scheduling that causes concurrent programs to fail

Ben-Asher, Yosi, Eytani, Yaniv, Farchi, Eitan, Ur, Shmuel

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

30

[ACM Press Fourth international workshop - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Fourth international workshop on Software quality assurance in conjunction with the 6th ESEC/FSE joint meeting - SOQUA '07 - ConTest listeners

Nir-Buchbinder, Yarden, Ur, Shmuel

Year:

2007

Language:

english

File:

PDF, 175 KB

english, 2007

31

[ACM Press the eighteenth international symposium - Chicago, IL, USA (2009.07.19-2009.07.23)] Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 - Advanced code coverage analysis using substring holes

Adler, Yoram, Farchi, Eitan, Klausner, Moshe, Pelleg, Dan, Raz, Orna, Shochat, Moran, Ur, Shmuel, Zlotnick, Aviad

Year:

2009

Language:

english

File:

PDF, 417 KB

english, 2009

32

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - Forcing small models of conditions on program interleaving for detection of concurrent bugs

Trainin, Ehud, Nir-Buchbinder, Yarden, Tzoref-Brill, Rachel, Zlotnick, Aviad, Ur, Shmuel, Farchi, Eitan

Year:

2009

Language:

english

File:

PDF, 55 KB

english, 2009

33

[ACM Press the 2001 joint ACM-ISCOPE conference - Palo Alto, California, United States (2001..-..)] Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI '01 - Multithreaded Java program test generation

Edelstein, Orit, Farchi, Eitan, Nir, Yarden, Ratsaby, Gil, Ur, Shmuel

Year:

2001

Language:

english

File:

PDF, 73 KB

english, 2001

34

[ACM Press the 41st annual conference - San Diego, CA, USA (2004.06.07-2004.06.11)] Proceedings of the 41st annual conference on Design automation - DAC '04 - Probabilistic regression suites for functional verification

Fine, Shai, Ur, Shmuel, Ziv, Avi

Year:

2004

Language:

english

File:

PDF, 75 KB

english, 2004

35

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Instrumenting where it hurts

Tzoref, Rachel, Ur, Shmuel, Yom-Tov, Elad

Year:

2007

Language:

english

File:

PDF, 1.18 MB

english, 2007

36

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Improving throughput via slowdowns

Goldstein, Maayan, Shehory, Onn, Tzoref-Brill, Rachel, Ur, Shmuel

Year:

2010

Language:

english

File:

PDF, 559 KB

english, 2010

37

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Micro architecture coverage directed generation of test programs

Ur, Shmuel, Yadin, Yaov

Year:

1999

Language:

english

File:

PDF, 86 KB

english, 1999